Joint embedding property

In universal algebra and model theory a class of structures K is said to have the joint embedding property if for all structures A and B in K there is a structure C in K such that both A and B are embeddable in C.

References

Hodges, Wilfrid (1997). A shorter model theory. Cambridge University Press. ISBN 0-521-58713-1.

‹The stub template below has been proposed for renaming to . See stub types for deletion to help reach a consensus on what to do.
Feel free to edit the template, but the template must not be blanked, and this notice must not be removed, until the discussion is closed. For more information, read the guide to deletion.›